<HTML><HEAD><TITLE>labeling(+Term)</TITLE>
</HEAD><BODY>[ <A HREF="index.html">library(sd)</A> | <A HREF="../../index.html">Reference Manual</A> | <A HREF="../../fullindex.html">Alphabetic Index</A> ]
<H1>labeling(+Term)</H1>
Instantiate all domain variables in a list to domain values
<DL>
<DT><EM>Term</EM></DT>
<DD>A list of domain variables or atomic terms
</DD>
</DL>
<H2>Description</H2>

	Instantiate all domain variables in a list to their domain values.
	Alternative instantiations are tried on backtracking. This predicate
	simply calls indomain/1 on all variable in the given list.

<H2>See Also</H2>
<A HREF="../../lib/sd/YNN-2.html">&:: / 2</A>, <A HREF="../../lib/sd/indomain-1.html">indomain / 1</A>
</BODY></HTML>
